Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Chores - Deprecated APIs and dart highlighting fixes. #175

Merged
merged 2 commits into from
Dec 17, 2023
Merged

Chores - Deprecated APIs and dart highlighting fixes. #175

merged 2 commits into from
Dec 17, 2023

Conversation

dinbtechit
Copy link
Owner

No description provided.

@github-actions GitHub Actions
Copy link

github-actions bot commented Dec 17, 2023 •
edited
Loading

Qodana Community for JVM

30 new problems were found

Inspection name Severity Problems
Unused symbol 🔶 Warning 11
Unused import directive 🔶 Warning 8
Unstable API Usage 🔶 Warning 5
Redundant semicolon 🔶 Warning 1
Const property naming convention ◽️ Notice 2
Private property naming convention ◽️ Notice 2
Class member can have 'private' visibility ◽️ Notice 1

💡 Qodana analysis was run in the pull request mode: only the changed files were checked

View the detailed Qodana report

To be able to view the detailed Qodana report, you can either:

  1. Register at Qodana Cloud and configure the action
  2. Use GitHub Code Scanning with Qodana
  3. Host Qodana report at GitHub Pages
  4. Inspect and use qodana.sarif.json (see the Qodana SARIF format for details)

To get *.log files or any other Qodana artifacts, run the action with upload-result option set to true,
so that the action will upload the files as the job artifacts:

      - name: 'Qodana Scan'
        uses: JetBrains/qodana-action@v2023.2.8
        with:
          upload-result: true
Contact Qodana team

Contact us at qodana-support@jetbrains.com

@dinbtechit dinbtechit merged commit 4808713 into main Dec 17, 2023
6 checks passed
@dinbtechit dinbtechit deleted the chore/merry-chirstmas-2023 branch December 17, 2023 03:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@dinbtechit